if __name__ == '__main__':
    import doctest
    doctest.testfile("doctest2.txt")
